inspector: Add some margin to css editor
authorMatthias Clasen <mclasen@redhat.com>
Tue, 10 Mar 2015 18:07:27 +0000 (14:07 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 10 Mar 2015 18:07:27 +0000 (14:07 -0400)
commit073a9c9cd543f5739d72beb4bc9eb4c79c175a99
treeb3c4dbcdc907be3f8cfc1a34b89705b7bda96bca
parent622a930c5a55aa64489a8031cd507f45e7fa2545
inspector: Add some margin to css editor

Requested in
https://bugzilla.gnome.org/show_bug.cgi?id=745918
gtk/inspector/css-editor.ui